acm sigbed
|
emsoft
|
participants
Yuming Wu
EMSOFT 2025: 25th International Conference on Embedded Software
Checking Bounded Reachability of Compositional Linear Hybrid Automata Using Interaction Relations
Yuhui Shi
,
Yuming Wu
,
Lei Bu
, and
Xuandong Li
10.1145/3762645
https://dl.acm.org/doi/10.1145/3762645